M ay 2 00 9 An example of a non adequate numeral system
نویسنده
چکیده
Résumé Un système numérique est défini par la donnée de trois λ-termes clos: un λ-terme normal d0 pour Zéro, un λ-terme Sd pour le Successeur, et un λ-terme pour le Test à Zéro, tels que les λ-termes (Sd i d0) sont normalisables et possèdent des formes normales differentes. Un système numérique est dit adéquat ssi il possède un λ-terme clos pour le Prédécesseur. Dans cette Note nous présentons un exemple simple d’un système numérique non adéquat.
منابع مشابه
9 M ay 2 00 5 An infinite dimensional affine nil algebra with finite Gelfand - Kirillov dimension ∗
We construct a nil algebra over a countable field which has finite but non-zero Gelfand-Kirillov dimension. 2000 Mathematics subject classification: 16N, 16P90.
متن کامل2 9 M ay 2 00 4 A refined version of the Siegel - Shidlovskii theorem
Using Y.André's result on differential equations staisfied by E-functions, we derive an improved version of the Siegel-Shidlovskii theorem. It gives a complete characterisation of algebraic relations over the algebraic numbers between values of E-functions at any non-zero algebraic point.
متن کاملar X iv : 0 81 1 . 47 25 v 2 [ m at h . R A ] 1 2 M ay 2 00 9 On the deformation theory of structure constants for associative algebras
Algebraic scheme for constructing deformations of structure constants for associative algebras generated by a deformation driving algebras (DDAs) is discussed. An ideal of left divisors of zero plays a central role in this construction. Deformations of associative three-dimensional algebras with the DDA being a three-dimensional Lie algebra and their connection with integrable systems are studied.
متن کامل9 M ay 2 00 7 F - THRESHOLDS OF HYPERSURFACES MANUEL
In characteristic zero one can define invariants of singularities using all divisors over the ambient variety. A key result that makes these invariants computable says that they can be determined by the divisors on a resolution of singularities. For example, if a is a sheaf of ideals on a nonsingular variety, then to every nonnegative real number λ one associates the multiplier ideal J (a). The...
متن کاملar X iv : 0 90 5 . 35 80 v 1 [ m at h . A G ] 2 1 M ay 2 00 9 Q - UNIVERSAL DESINGULARIZATION
We prove that the algorithm for desingularization of algebraic varieties in characteristic zero of the first two authors is functorial with respect to regular morphisms. For this purpose, we show that, in characteristic zero, a regular morphism with connected affine source can be factored into a smooth morphism, a ground-field extension and a generic-fibre embedding. Every variety of characteri...
متن کامل